Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
181	Proceedings of the ESSLLI 2014 Student Session 26th European Summer School in Logic, Language & Information August 11–22, 2014, Tübingen, Germany Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2014-08-26 09:50:28 Monoidal categories Quantum mechanics Dagger categories Non-classical logic Categorical quantum mechanics Quantum logic Logic Modal logic David Hilbert Category theory Mathematics Algebra
182	Compiling Specificity into Approaches to Nonmonotonic Reasoning James P. Delgrande School of Computing Science Simon Fraser University Burnaby, B.C. Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-12-10 19:30:01 Logic programming Science Reasoning Knowledge representation Default logic Non-monotonic logic Inference Circumscription Nixon diamond Logic Non-classical logic Mathematical logic
183	A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam Postfach Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-05-13 13:21:07 Non-classical logic Knowledge Reasoning Knowledge representation Consumer theory Default logic Preference Non-monotonic logic Stable model semantics Logic Science Logic programming
184	Fuzzy-probabilistic logic for common sense YKY (King-Yin Yan) Abstract. P(Z) logic offers a new way to reason about vagueness (ie fuzziness), that treats fuzziness as degrees, distinct from probabilities. One then applie Add to Reading List Source URL: agi-conference.org Language: English - Date: 2012-12-09 10:04:16 Fuzzy logic Artificial intelligence Non-classical logic Bayesian statistics Probability interpretations Probabilistic logic Inference Bayesian network Fuzzy set Logic Mathematical logic Science
185	Symposium Reports AAAI 1992 Fall Symposium Series Reports ■ The American Association for Artificial Add to Reading List Source URL: www.norvig.com Language: English - Date: 2006-05-09 20:14:10 Knowledge Programming paradigms Non-classical logic Reasoning Logic programming Robot Applications of artificial intelligence Modal logic Cyc Artificial intelligence Science Logic
186	Introduction Logic for Serious Database Folks Series by David McGoveran, Alternative Technologies "Against logic there is no armor like ignorance." – Laurence J. Peter For well over twenty years I have been asked to e Add to Reading List Source URL: www.alternativetech.com Language: English Metalogic Mathematical logic Non-classical logic Fuzzy logic David McGoveran Relational model Interpretation First-order logic Database theory Logic Philosophical logic Model theory
187	2012 SAL Basic Rules Exam 100 Answers and rule references from the 2010 – 2013 SAL rule book. Add to Reading List Source URL: umpiring.qld.softball.org.au Language: English - Date: 2014-03-11 21:32:04 Non-classical logic Differentiation rules Mathematics Logic
188	On the Decidability of Role Mappings between Modular Ontologies Jie Bao1 , George Voutsadakis2 , Giora Slutzki2 and Vasant Honavar2 Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY 12180, USA. b Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2008-04-06 23:01:44 Functions and mappings Algebraic structures Artificial intelligence Description logic Information science Non-classical logic Sheaf Function Ring Mathematics Abstract algebra Algebra
189	Modal Proofs as Distributed Programs? (Extended Abstract) Limin Jia and David Walker Princeton University 35 Olden St., Princeton, NJ 08544, USA {ljia,dpw}@cs.princeton.edu Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Proof theory Non-classical logic Logic in computer science Semantics Deduction Natural deduction Modal logic Negation Sequent calculus Logic Mathematical logic Mathematics
190	On the Semantics of Linking and Importing in Modular Ontologies Jie Bao1 , Doina Caragea2 , Vasant G Honavar1 1 Artificial Intelligence Research Laboratory, Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-09-20 15:55:35 Information Knowledge representation Knowledge engineering Non-classical logic Ontology Description logic Modal logic Frame language Mereology Science Logic Information science

UPDATE